functor F (
  A : sig
    type t
  end
) =
struct
  type 'a map (= boxed)
  val empty : 'a map
end
